ifdef CONFIG_NAND_SPL
TEXT_BASE = 0x87ec0000
else
TEXT_BASE = 0x87f00000
endif
